<html>
  <head>
    <title>The GvaScript framework</title>
  </head>

  <frameset cols="25%, 75%">
    <frame name="tocFrame" src="html/toc.html"></frame>
    <frame name="contentFrame" src="html/intro.html"></frame>
  </frameset>
</html>
